Théorèmes De Connexité Pour Les Produits D'Espaces Projectifs et Les Grassmanniennes

THÉORÈMES DE CONNEXITÉ POUR LES PRODUITS D'ESPACES
PROJECTIFS ET LES GRASSMANNIENNES

Olivier Debarre

lO ! Le théorème de connexité de Fulton-Hansen énonce que si X est une variété

irréductible complète et X — > P"^ x P"^ un morphisme dont l'image est de codimension
^ , < n , l'image inverse de la diagonale est connexe ([FH], [FLl]). Le point de départ de cet
c3 . article est une remarque de Fulton et Lazarsfeld suggérant que cette propriété de la diagonale
^ . pourrait être essentiellement numérique. C'est ce que nous vérifions dans la première partie,
On ' en démontrant une théorème de connexité analogue pour les morphismes à valeurs dans
^ ■ un produit d'espaces projectifs (th. 2.2), qui entraîne en particulier que l'énoncé ci-dessus
^ ' reste valable si l'on remplace la diagonale de P*^ x P" par n'importe quelle sous-variété de
O dimension n qui domine chaque facteur.

O ■ Dans la seconde partie, nous étudions le même problème pour les morphismes à

O ' valeurs dans une grassmannienne G((i, P") . Dans [H], Hansen montre que si X est une
I variété irréductible complète et / : X ^ G((i, P") x G((i, P") un morphisme dont l'image
' est de codimension < n , l'image inverse de la diagonale est connexe. Des exemples
Q ] montrent que cette borne décevante est la meilleure possible en général ( § 5). Notre but est
d'améliorer ce résultat en tenant compte des propriétés numériques de /(X) . Le théorème
7.1 montre que l'image inverse de la diagonale est connexe, pourvu qu'il existe des partitions
c3 " A = (Ao, . . . , \d) et = (|Uo, . . . , /id) vérifiant Xi + Ha-i < n — d (z = 0, telles que

. [/(X)] -PiCx ■P20'fj, 7^ ((Ta et sont les classes de Schubert). Ce résultat contient celui
^ ■ de Hansen, mais n'est pas optimal.

Les résultats de connexité du type précédent sont toujours appliqués dans la si-
tuation suivante : on se donne des variétés irréductibles complètes X et Y , des mor-
phismes / : X — i> G((i, P") et (7 : Y — > G((i, P"') , et l'on veut conclure à la connexité
de XxQ(-(^ pn)Y. Le théorème 7.1 mentionné ci-dessus requiert pour cela l'hypothèse
[/(X)] ■ [(/(Y)] ■ (o"i,...,i -|- (Tn-d) 7^ . Dans §8, on montre qu'on peut affaiblir cette hy-
pothèse lorsque Y est une sous-variété de Schubert de G{d, P") , ou une intersec-
tion de variétés de Schubert spéciales. Sans entrer dans les détails, mentionnons sim-
plement que lorsque Y est une variété de Schubert associée à une partition fj, telle
que Ho > ■ ■ ■ > fXr > fJ^r+i = (par exemple une variété de Schubert spéciale), la condi-
tion requise est que l'intersection de /(X) avec chacune des classes de Schubert de type
(Hi + 1, . . . , lii + 1, Hi+i, . . . , /Ur) soit non nulle ( i = 0, . . . , r ).

Un dernier mot enfin sur les méthodes. Il existe essentiellement trois approches aux
théorèmes de connexité. La plus ancienne, celle de Grothendieck ([G]), utilise la géométrie
formelle; elle fut ensuite reprise et développée par Hironaka et Matsumura, Hartshorne,

1

Ogus, Speiser et Faltings ([F]). La seconde (celle de [FH]) consiste à prouver d'abord un
résultat d'irréductibilité du type Bertini, valable en toute caractéristique et sans aucune
hypothèse de propreté. Lorsque les variétés sont complètes, on passe à la connexité en
utilisant la factorisation de Stein. La dernière méthode fut vraisemblablement initiée par
Mumford dans une lettre à Fulton de 1978, et utilisée par la suite par Sommese et Van de
Ven, Nori ([N]) et moi-même ([Dl]); elle exploite l'existence d'une action transitive d'un
groupe algébrique et fournit directement des résultats de connexité; il faut supposer les
variétés complètes, et la caractéristique du corps de base nulle.

C'est la seconde méthode qui est adoptée ici ; nos résultats sont donc démontrés sur un
corps algébriquement clos de caractéristique quelconque, et tous les résultats de connexité
mentionnés ci-dessus ont des analogues de type Bertini (dont ils sont conséquences) , valables
sans hypothèse de propreté. En particulier, on montre dans § 6 que si / : X ^ G(d, P"^) est
un morphisme et H un hyperplan général de P" , /~^(G((i, H)) est irréductible si /(X)
rencontre G{d, M) pour tout sous-espace général M de P"^ de codimension 2 (le théorème
de Bertini usuel correspond au cas d = 0). On passe de cet énoncé à celui sur l'image inverse
de la diagonale de G{d, P"^) x G{d, P"^) par une astuce de Deligne.

Notations et conventions

On adopte des conventions analogues à celles de [FLl] : les énoncés se rapportent
à un corps de base algébriquement clos arbitraire k (cadre «algébrique»), sauf ceux
marqués (/c = C) , pour lesquels le corps de base est C , et la topologie la topologie
usuelle (cadre « topologique » ). Dans le cadre topologique, si / : Y — > X est une application
continue, avec X connexe, on écrira tti (Y) — » tti (X) pour signifier qu'il existe y G Y tel
que l'homomorphisme induit iviif) : 7ri(Y,|/) 7ri(X, /(y)) soit surjectif. Lorsque Y est
connexe, cette propriété ne dépend pas du choix du point y .

Si / : X — i> S est un S -schéma et 7 un automorphisme de S , on notera "''X le
S -schéma 7/ : X ^ S .

Les sous-variétés seront toujours fermées dans l'espace ambiant. Connexe (resp.
irréductible) signifie connexe (resp. irréductible) et non vide.

Soit L un espace projectif; on notera G{d,L) la grassmannienne des sous-espaces
linéaires de L de dimension d et, pour tout u G G{d,L) , l'espace linéaire correspondant
à u .

L PRODUITS D'ESPACES PROJECTIFS

Dans cette partie, on fixe des entiers positifs ni,...,nr ; on note F le produit
p'^i X • • • X P"'' et Aut°(P) le groupe HLi PGL(ni -|- 1, k) agissant diagonalement sur
P.

2

Pour toute partie non vide I de {1, . . . , r} , on note ni = X^^^j Ui , Pi = Iligi
et pi la projection P ^ Pi .

1. Un théorème de Bertini

Lemme 1.1.- Soient Y une variété irréductible complète, X une sous-variéte irréductible de
P"" X Y , et p : X ^ P" , q : X ^ Y les deux projections. Soit L un sous-espace linéaire
de P"^ ; général de codimension < dimp(X) . Alors

dimç(p~-'^(L)) = min(dimç(X), dim(X) — codim(L)) .

Démonstration. Compte tenu du théorème de Bertini ([FLl], th. 1.1), il suffit de traiter le
cas où L est un hyperplan. On a alors dimp(X) > 1 , de sorte que p~^{L) est un diviseur
de X qui varie sans point base. Soit a la dimension d'une fibre générale de la projection
X —>■ q{X) , c'est-à-dire a — dim(X) — dimg(X) . Puisque X est irréductible, les diviseurs D
de X tels que la codimension de q(D) dans g(X) soit > 1 sont en nombre fini. Si a = ,
on a donc, pour L général,

dimg(p-^(L)) = dimç(X) - 1 = dim(X) - 1 .

Si a > , l'hyperplan L rencontre chaque fibre de la projection propre X — > g(X) ,
de sorte que g(p~^(L)) = . Ceci prouve le lemme. ■

On aura aussi besoin du résultat suivant, pour lequel je n'ai pas trouvé de référence
adéquate.

Lemme 1.2.- Soient X une variété unibranche sur un corps algébriquement clos de carac-
téristique nulle, / : X ^ P*^ un morphisme, et L un sous-espace linéaire général de P"' .
Alors f~^{L) est unibranche.

Démonstration. La normalisation /?, : X — > X étant un homéomorphisme, il en est de même
de {fh)~^{\j) — > f~^{\j) . Il suffit donc de montrer que {fh)~^{\j) est normal., et on se
ramène ainsi au cas où X est normal. La démonstration est alors classique {cf. [J], [K],
remarque (7)) et procède comme suit : posons Z = { (a;, tt) G X x G((i, P") | f{x) G } ;
la première projection Z^X est lisse, de sorte que Z est normal; par conséquent, la
fibre générique de la seconde projection g : Z — > G((i, P") est normale (ses anneaux locaux
sont des anneaux locaux de Z ), donc géométriquement normale sur le corps K(G((i, P"))
puisque ce dernier est de caractéristique nulle ([Grl], prop. 6.7.7). L'ensemble des points u
de G((i, P") tels que q~^{u) soit normal étant localement constructible ([Gr2], prop. 9.9.4),
il contient un ouvert dense . ■

Montrons maintenant un théorème de Bertini pour les produits d'espaces projectifs.

Théorème 1.3.- Supposons donnés une variété irréductible X , un morphisme / : X — > P ,
et, pour chaque z=l, ...,r, un sous-espace linéaire général Lj de P"'* , tels que

3

dimpi(/(X)) > ^^gj codim(Lî) pour toute partie non vide I de {l,...,r} ; notons
L = Li X • • • X Lf. .

1) /~^(L) est non vide de codimension X]i=i codim(Li) dans X.

2) Posons J = {z G {1, . . . , r} I Li 7^ p"^i j supposons de plus que pour toute partie I
de {l,...,r} rencontrant J, on ait dimpi(/(X)) > ^^^j codim(Lj) .

a) /~^(L) est irréductible ;

b) (A; = C) sz X esi localement irréductible, tti (/"-"^(L)) — » 7ri(X) .

Démonstration. Quitte à projeter sur Pj , on peut supposer J = {l,...,r}. Sup-
posons donc dimpi(/(X)) > ^^^j codim(Li) (resp. >) pour toute partie non vide I de
{l,...,r} et montrons 1) (resp. 2)) par récurrence sur r. Lorsque r=l, 1) est triv-
ial et 2) découle de [FLl], th. 1.1. Supposons r>l. Si, pour chaque z = l,...,r, on
a dimpi(/(X)) = codim(Lj) , il ressort de l'hypothèse dim(/(X)) > ^^^j^ codim(Li) que
/(^) = 111=1 Pi{f(^)) ) auquel cas 1) est trivial. Supposons donc dimpi (/(X)) > codim(Li)
Soit I une partie non vide de {2, . . . ,r} . Par [FLl], th. 1.1, X' = {pif)~^(Li) est fermé
irréductible de codimension codim(Li) dans X , et /(X') = /(X) Dp^^ÇLi) . D'autre part,
le lemme 1.1 appliqué à la sous- variété P{i}ui(/(X)) de Pi x Pj donne

dimpi(/(X')) = min(dimpi(7(X)) ,dimp{i}ui(/(X)) - codim(Li)) > J^codim(Lj)

(resp. > ). On peut donc appliquer l'hypothèse de récurrence au morphisme
/' = P{2,...,fe}/ • X' — > P{2,...,fc} ; la propriété 1) (resp. 2)a)) en résulte. Sous l'hypothèse
respée, et si X est unibranche, il en est de même de X' (lemme 1.2); le cas r = 1 en-
traîne 7ri(X') — » 7ri(X) tandis que la propriété 2)b) pour X' entraîne

7ri{f-\L)) =7ri(/'-i(L2X---xL,)) ^7ri(X').

La propriété 2)b) pour X en découle. ■

Passons maintenant au cas des espaces linéaires quelconques.

Théorème 1.4.- Supposons donnés une variété irréductible X , un morphisme / : X ^ P ,
et, pour chaque i = l,...,r, un sous-espace linéaire de P""" , tels que

dimpi(/(X)) > ^^gj codim(Li) pour toute partie non vide I de {l,...,r} ; notons
L = Li X ■ ■ ■ X Lj. .

1) Si f est propre au-dessus d'un ouvert Y de P et que L est contenu dans V, /~^(L)
est non vide.

2) Posons J = {z e {1, . . . , r} I Lj p^iy supposons de plus que pour toute partie I
de {l,...,r} rencontrant J, on ait dimpi(/(X)) > ^^^j codim(Lj) .

a) 5"^ / est propre au-dessus d'un ouvert V de P et que L est contenu dans V ,
alors /~^(L) est connexe;

4

b) (k = C) si X. est localement irréductible, pour tout voisinage ouvert U de L
dans P , on a tti (/"-"^(U)) — » 7ri(X) .

Démonstration. Comme plus haut, on peut supposer J = {1, . . . , r} . Montrons 2)b) ; tout
voisinage U de L contient des produits Mi x • • • x auxquels le point 2)b) du th. 1.3
s'applique, d'où 2)b). Supposons maintenant / propre au-dessus d'un ouvert V de P et
montrons 1) et 2)a). Pour chaque i = l,...,r, notons Gj la grassmannienne des sous-
espaces linéaires de P"* de même codimension que Lj et G = Gi x • • • x . Soit W
l'ouvert de G qui consiste en les (tti, . . . , Ur) tels que A^j x • • • x A^^ C V ; notons

Z = { (x, -ui, . . . , -u^) e X X W I f{x) e Au^ X ■ ■ ■ X Au, } .

La première projection réalise Z comme un ouvert dans un fibré en produits de
grassmanniennes au-dessus de X , de sorte que Z est irréductible. Comme / est propre au-
dessus de V , la projection g : Z — > V est aussi propre. Si dimpi(/(X)) > ^^^j codim(Li)
(resp. >) pour toute partie non vide I de {l,...,r}, le th. 1.3 entraîne que les fibres
générales de q sont non vides (resp. irréductibles). Il s'ensuit que q est surjective (resp.
que les fibres de q sont connexes, par un argument classique utilisant la factorisation de
Stein de q {cf. [FLl], th. 2.1). Ceci termine la démonstration. ■

Remarque 1.5.- On aura besoin de la version plus fine de 2)b) suivante : pour tout
X e f~^(L) , l'homomorphisme tti (/"-"^(U), x) — > 7ri(X, x) est surjectif. Cela se démontre
comme dans [FLl], remark 2.2.

2. Théorèmes de connexité

On note A la diagonale de P x P et, pour tout 7 G Aut°(P) , '^A l'image de A
par l'automorphisme (x, y) ^ (x, 7?/) de P x P .

Lemme 2.1.- Soient X une variété irréductible et / : X — >■ P x P un morphisme.

1) Si X est complète et que dim(pi x pi)/(X) > ni pour toute partie non vide I de
{l,...,r}, f~^{A) est non vide.

2) On suppose que dim(pi x pi)/(X) > ui pour toute partie non vide I de {1, . . . , r} .
a) Pour 7 e Aut'^(P) général, f~^{'^A) est irréductible;

h) si X est complète, f~^{A) est connexe;

c) {k = C) si X est localement irréductible et complète, tti (/"■'^(A)) 7i'i(X) .

Démonstration. Comme dans [FLl], p. 39, on utilise une astuce de Deligne. Pour chaque
z = 1, . . . , r , on considère des coordonnées homogènes [x^*), y^*)] sur p^'^i+i ^ qii x^'^^ et y^*)
sont des (ui + l)-uplets d'éléments de A; ; on note Yi l'ouvert de p^'^i+i défini par x^'^^ ^
et 7^ , et on pose V = Vi X • • • X . Définissons un morphisme : V — > P x P par
la relation

^i[x^'\ . . . , [a;W, yM]) = i[x^% . . . , [x^% [y^% . . . , [y^]) .

5

Soit 7 = (71, ... , 7r) e 111=1 GL(nj + l,k) , soit 7 son image dans Aut°(P) et soit
^*Lj C Vj l'espace linéaire défini par les équations x^'^^ = 7i(y^*^) . Les ^*Lj forment un ou-
vert dense dans G(ni, p^'^i+i) et (p induit un isomorphisme entre '^L = '^iLi x • • • x ■^'^L^.
et ^A.

Notons X' = X Xp V et /' : X' — > V le morphisme canonique; f'~^(^L) est isomor-
phe à f~^{'^A) et /' est propre lorsque X est complète. Le point 2)a) est alors conséquence
du th. 1.3.2)a) et les points 1) et 2)b) du th. 1.4. Le point 2)c) se déduit du point 2)b) du
th. 1.4 et de la remarque 1.5, comme dans [FLl], th. 3.1. et cor. 3.3. ■

Théorème 2.2.- Soient X ei Y des variétés irréductibles et/:X^P et g :Y ^ P des
morphismes.

1) Si X. et Y sont complètes et que dimpi/(X) + dimpi^(Y) > nj pour toute partie
non vide I de {1, . . . , r} , X Xp Y est non vide.

2) On suppose que dimpi/(X) + dimpigÇY) > ni pour toute partie non vide 1 de
{!,•••, r}.

a) Pour 7 e Aut°(P) général, X Xp '>'Y est irréductible ;

b) si X. et Y sont complètes, X Xp Y est connexe;

c) (k = C) si X. et Y sont localement irréductibles et complètes,
7ri(Xxp Y) ^7ri(Xx Y) .

Démonstration. Appliquer le lemme 2.1 au morphisme (/, (7) : X x Y — > F x F . ■

Corollaire 2.3.- Soient X une variété irréductible complète, / : X — F un morphisme et
Y une sous-variété irréductible de F tels que, pour toute partie non vide I de {1, . . . ,r} ,
on ait dimpi/(X) -|- dimpi(Y) > ni .

a) /~^(Y) est connexe;

b) (k = C) si X est localement irréductible, 7ri(/~^(Y)) — »7ri(X).

Démonstration. Le point a) se déduit du th. 2.2.2)b) ; le point b) se déduit du th. 2.2.2)c)
comme dans [FLl], cor. 4.3 (considérer la normalisée de Y). ■

Le lecteur remarquera que le lemme 2.1.2) est conséquence du cor. 2.3.

On démontre aussi par les mêmes méthodes des résultats analogues à cevx des cor.
5.2 et 5.3 de [FLl], comme par exemple :

Corollaire 2.4.- Soit X une sous-variété irréductible de F telle que, pour toute partie
non vide I de {1, . . . ,r} , on ait dimpi(X) > |ni .

a) Trf ^(X) = ;

b) (k = C) X est simplement connexe.

6

Il est peut-être plus parlant d'interpréter les hypothèses des corollaires ci-dessus en
termes des classes des sous- variétés qui interviennent. Il existe ([FMSS] ou [Fu], ex. 8.3.7)
une décomposition de Kûnneth pour les groupes de Chow

A-(P) = A-(P) ,

m=(7ni , ■ ■ ■ ,mr)
m2_-\ \-mr='m

où A'^(P) = A"^i(P''i) ® • • • (g) A^-(P'''-) . Soit X une sous-variété irréductible de P de
codimension m ; la composante de sa classe [X] dans A™(P) ~ Z est l'entier positif

[X]m = X • H^i-^^i ..... iirir-m^ ^

OÙ, pour i = 1, . . . , r , est l'image inverse dans P d'un hyperplan de P"^* . On vérifie
que, pour tout entier a et toute partie non vide I de {1, . . . , r} , on a

(2.5) codimpi(X) < a <^=^ 3 m < a et [X]m 7^ .

iei

Les hypothèses du th. 2.2 se réécrivent alors : pour toute partie non vide I de
{1, . . . , r} , il existe m et m' avec '^^^lirrii + m[) < ni (resp. < ni ), tels que [/(X)]„i ^
et [^(Y)]„,. ^0.

Le cor. 2.3 entraîne que certaines sous-variétés d'un produit d'espaces projectifs ont
des propriétés de connexité analogues à celles de la petite diagonale de (P"')'' , telles qu'elles
sont exposées dans [FLl].

On dira qu'une sous- variété Z d'une variété P est encombrante si elle rencontre toute
sous- variété de P de dimension > codim(Z) . Pour qu'une sous- variété irréductible Z de P
soit encombrante, il faut et il suffit que [Zjm soit non nul dès que A™(P) l'est (c'est-à-dire
lorsque mi < ni pour tout i ) . On a aussi :

Proposition 2.6- Pour qu'une sous-variété irréductible Z de P soit encombrante, il faut
et il suffit que pour toute partie non vide I de {1, . . . , r} , on ait

dimpi(Z) = min(dim(Z), ni) .

Démonstration de la proposition. Supposons que dimpi(Z) = min(dim(Z), ni) pour
toute partie non vide I de {l,...,r} ; soient Y une sous- variété irréductible de P de
dimension > codim(Z) et I une partie non vide de {1, . . . ,r} . Si dimpi(Z) = ni , alors
dimpi(Z) + dimpi(Y) > ni . Sinon, on a dimpi(Z) = dim(Z) ; comme

dimpi(Y) > dim(Y) — (dim(P) — ni) = n\ — codim(Y) > ni — dim(Z) ,

on a encore dimpi(Z) -|- dimpi(Y) > ni . Il résulte du th. 2.2.1) que Z rencontre Y .

Supposons inversement Z encombrante. Soit I une partie non vide de {1, . . . , r} telle
que pi(Z) 7^ Pi , et soit L un sous-espace linéaire de Pi de codimension dimpi(Z) + 1 ,
disjoint de pi(Z) . Alors Z ne rencontre pas P]~^(L) , de sorte que

dim(Z) < codimpf^(L) = dimpi(Z) + 1 .

Ceci entraîne dim(Z) = dimpi(Z) et termine la démonstration. ■

7

On dira qu'une sous-variété Z de P est bonne si dimpj(Z) = dim(Z) pour tout
i = l,...,r.

Proposition 2.7.- Soient X une variété irréductible complète, / : X — > P un morphisme
et Z une sous-variété irréductible de P telle que dim/(X) > codim(Z) .

a) Si Z est encombrante et que dimpj/(X) > pour tout i — 1, . . . ,r , /~^(Z) est
connexe ;

b) si Z est bonne, /~^(Z) est connexe.

Démonstration. Soit I une partie non vide de {l,...,r}. Sous les hypothèses de a),
on a soit dim(Z) > rij , auquel cas dimpi(Z) = ui et dimpi/(X) + dimpi(Z) > uj ; soit
dim(Z) < ni , auquel cas dimpi(Z) = dim(Z) et

dimpi/(X) + dimpi(Z) > dim/(X) — ^^nj + dim(Z)

30

> codim(Z) — Uj + dim(Z) = ni .

Dans chacun de ces deux cas, on peut appliquer le cor. 2.3. Sous l'hypothèse b), on
est toujours dans le deuxième cas. ■

Remarques 2.8.- 1) La petite diagonale de (P")*" est bonne; on retrouve donc les résultats
de connexité de [FLl].

2) Sous les hypothèses du corollaire, être encombrante n'est pas suffisant en général
pour assurer la connexité de /~^(Z) , comme le montre l'exemple suivant. Soit F une
courbe irréductible dans P^ x P^ telle que la première projection F — * P^ soit de degré
> 1 . Soient s : P^ x P"" ^ p^r+i piongement de Segre et P = P^ x P^^+i ; l'image Z de
F X P*^ par Id X s : P"*^ X P^ X P*^ P est encombrante, mais, pour im point général x de
P^ , Z n pï^{x) n'est pas connexe, bien que dim(Z) + dimp^^ (x) = r + l + 2r + l>2r + 2.

3. Classes des sous-variétés irréductibles

On s'intéresse ici aux classes des sous- variétés irréductibles X de P . On rappelle
que l'on a noté [Xjm les composantes de [X] dans la décomposition de Kiinneth de A'^(P)
(avec m = (mi, . . . , rur) et mi + • • • + = m = codim(X) ).

Proposition 3.1.- Soit X une sous-variété projective irréductible de P . Pour tout r -uplet
m = (mi, . . . , m^.) d'entiers positifs de somme codim(X) , la composante [X]m est non
nulle si et seulement si, pour toute partie non vide I de {1, . . . ,r} , on a

rui > codimpi(X) .

En particulier, l'ensemble des m tels que [Xjm 7^ est l'ensemble des points entiers
d'un ensemble convexe.

8

Démonstration. Soit m un r -uplet ; si les inégalités de la proposition sont vérifiées, le th.
1.3.1) entraîne que [X]m est la classe d'un -cycle effectif non nul. La réciproque résulte
de (2.5). ■

L'inégalité de Hodge force en fait des conditions plus contraignantes sur les classes des
sous- variétés irréductibles de P . Pour a G {1, . . . , r} , posons Gq, — (<^1,q;) <^2,a) • • • ) ^r,oi) !
a, /? e {1, . . . , r} , on a alors

> [X]m+e„-e,3[^]m-e„+e^ •

Ces inégalités résultent des théorèmes de Hodge et Bertini, et entraînent toute une
série d'inégalités de convexité connues sous le nom de théorème de Teissier-Hovanski (c/.
[T], [Ho], [G]), qui permettent en particulier de retrouver la prop. 3.1.

H. GRASSMANNIENNES

On appelle 'partition un ((i+l)-uplet A = (Aq, . . . , Ad) d'entiers tels que
n — ci > Ao > • • • > Ad > ; on sous-entendra toujours A^ = pour z > d , et on omettra
même souvent les Ai nuls. Notons |A| = Aq + • • • + A^ l'entier partitionné; à A est associé
un diagramme de Young, contenu dans un rectangle de d + 1 lignes (numérotées de à
(i ) et n — d colonnes, et obtenu en plaçant A^ boîtes dans la ligne i . Pour la partition
(4, 3, 2, 2) , cela donne

Ao

Al

A2

As

On note A la partition {n — d — Xd, ■ ■ ■ , n — d — Xq) . Sur le diagramme de Young de
A , elle se lit de bas en haut, à droite de l'escalier.

On note aussi A* la partition (Aq, . . . , A*_^_j^) , définie par A* = max{_7 | Aj > z } ,
pour i = 0, . . . ,n — d — 1 . Sur le diagramme de Young de A , elle se lit verticalement, de
gauche à droite, au-dessus de l'escalier. Par exemple, (4,3,2,2)* = (4,4,2,1). On notera
que A* = Â* .

Si A et sont deux partitions, on écrit X< ji si Xi < fXi pour tout i = 0, . . . , d ,
et X < jj, si Xi < fii pour tout i = 0, . . . ,d .

A toute partition A correspond une classe de Schubert a\ dans AI^I (G((i, P"^)) .
Pour tout drapeau L = (L(°) C • • • C L^'') C P"") avec dim(L(*)) = n-d + i-Xi, ax est

9

la classe de la variété de Schubert

El = { w e G{d, P") I dim(A„ n L^^)) > i, pour i = 0,...,d} .

Pour me {0, . . . ,n — d} , la classe est dite spéciale; les variétés de Schubert
associées sont

EL = {«eG(cZ,P^) I A„nL^0 } ,

où codim(L) = d + m .

Les classes de Schubert forment une base du Z-module A* ( G((i, P"^)) . On a
ax-a^ — l et l'isomorphisme de dualité : G((i, P"^) — > G(n — (i — 1, (P"^)*) vérifie
ip*{ax*) = (Ta .

Si X est une sous-variété de G((i, P"") , sa classe dans A*(G(d, P")) s'écrit
[X] = [X]x (Jx , avec [Xj^ = [X] • a^^ ; les [X]x sont des entiers positifs non tous nuls.

4. Calcul de Schubert

Voici deux résultats élémentaires pour lesquels je n'ai pas trouvé de référence.

Lemme 4.1.- On a

(TA • 7^ A < p .

En particulier, si cta ■ cr^t ^ et X' < X , alors ax' ■ (T^ ^ Q .

Démonstration. Si la propriété X < p, n'est pas vérifiée, ax • cr^ = ([GH], p. 198).

Supposons au contraire X < p, . Montrons par récurrence sur \p,\ — \X\ que ax ■ cr^
est non nul. Si |A| = \p,\ , alors X = p, et cta • cr^ = 1 . Si |A| < \p,\ , on choisit Ïq minimal
tel que Aj^ + fJ,d-io < n — d . La partition A' définie par A^ = Aj + vérifie X' < p et
X'q < n — d , et l'hypothèse de récurrence entraîne cta' ■ a^ ^ . Comme A' intervient avec
un coefficient non nul dans la décomposition du produit ui • ax en somme de classes de
Schubert donnée par la formule de Pieri ([Fu], p. 271), on a aussi ai • ax • a^ ^ , d'où le
lemme. ■

Le lemme 4.1 entraîne : soient X et Y des sous-variétés de G((i, P"") ; pour que
X n Y soit non vide, il faut et il suffit qu'il existe des partitions X et n avec [X]a ^ ,
[Y]^ ^0 et X<p.

On aura aussi besoin du résultat suivant sur les produits de classes de Schubert
spéciales.

Lemme 4.2.- Soient £o, . . . ,£r des entiers avec n — d>£o>--->£r>0, et X une parti-
tion. Pour que ax ■ cr^o ' ' ' ^^^^ '^^'^ ^'"^j /^'"^ su-ffit QU'^

£o + --- + £i<Xo + --- + Xi

pour tout i = 0, . . . ,r .

10

En prenant | A| = Yll=o j obtient une description explicite des classes de Schubert
qui apparaissent avec un coefficient non nul dans ct^q • • • . Le lemme entraîne aussi que
ce produit est non nul lorsque X]i=o -^i ^ + ~ d) .

Démonstration du lemme. On procède par récurrence sur r . Lorsque r = — 1 , il n'y
a rien à démontrer. Supposons l'équivalence démontrée pour r — 1 > — 1 et prenons des
entiers iç,, . . .,£r tels que n — d>£o>--->ir>0.

Supposons (T^ ■ ■ ■ ■ ot^ non nul ; il suffit par hypothèse de récurrence de montrer

l'inégalité £o + h < Ao + h . Posons s = min(r, d) et soit X' la partition X

tronquée après Xg . On a alors a y • cr^^ • • ■ a^^ ^ (lemme 4.1). Ces cycles vivent en fait
dans G(s, p«+"-'^) , de sorte que

Âo + --- + Â. + 4 + --- + ^r <dimG(s,P^+"-'^) = {s + l){n-d) ,

ce qui démontre l'inégalité cherchée.

Supposons inversement que les inégalités du lemme soient vérifées. Soit s G {0, . . . ,d}
l'entier tel que Xs+i + ■ ■ ■ + Xd < ir ^ Xg + ■ ■ ■ + Xd et posons = A^ pour < i < s ,
X'g — Xs + ■ ■ ■ + Xd — ir et A^ = pour i > s . La, formule de Pieri s'écrit

de sorte que ay intervient avec un coefficient non nul dans cr^ • cr^^ . Pour s < i < r , on a
Ao + • • • + a; = Ao + • • • + As-i + {Xs + --- + Xd-£r)

>eo + --- + er-ir>£o + --- + £i

et l'hypothèse de récurrence entraîne alors a y • ag^ • ■ • cr^^_i , ce qui montre le lemme. ■

5. Le résultat de Hansen

Hansen a obtenu dans [H] un théorème de connexité pour les variétés de drapeaux,
qui s'énonce comme suit dans le cas des grassmanniennes : soient X une variété irréductible
complète, A la diagonale de G(d, F'") x G(d, P'') et / : X ^ G((i, P'') x G(d, P'') un
morphisme. Si dim/(X) < n, alors f~^{A) est connexe.

Il montre aussi par la construction suivante que sa borne est la meilleure possible.

(5.1) L'exemple de Hansen-Harris. Dans P"^ , on considère une conique lisse C et un hy-
perplan H la rencontrant transversalement. La variété X = { (p, m) G C x G{d, P"') \ p G A^}
est projective irréductible (et même lisse) ; notons / : X ^ G((i, P^'^) la seconde projection
et Y = G{dj H) . Lorsque d < n — 1 , /~^(Y) a deux composantes connexes. On a d'autre
part codim/(X) — n — d — 1 et codim(Y) = d + 1 ; plus précisément {cf. [Fu], ex. 14.7.6)

[/(X)] = 2an-d-i et [Y] = (7i,...,i .

11

On remarquera que [/(X)] • [Y] • (cti,...,! + dn-d) = .

(5.2) Dans la même veine, soient d et r des entiers tels que d/2 + l<r<d+l et
d > . Posons n = d+2r et considérons une quadrique lisse Q dans P" . La variété
X = { tt e G(d, P") I C Q} est irréductible lisse ([H], th. 22.13). Soit L un sous-espace
linéaire de P"' de dimension (2r — 1) , transverse à Q ; soit Y la variété de Schubert
{u e G{d, P") I dim(A„ n L) > r - 1} . Pour tout tt G X n Y , l'espace linéaire A„ n L est
de dimension > r — 1 et est contenu dans la quadrique L n Q , lisse de dimension 2r — 2 . Il
fait donc partie de l'une des deux familles de (r — l)-plans contenus dans L n Q (loccit.).
On en déduit que X fl Y n'est pas connexe, alors que dim(X) + dim(Y) > dimG((i, P"^) .
On notera que ([Fu], ex. 14.7.15)

[X] = 2'^+Vd+i,d,...,i et [Y] = .

r fois

Il ressort du lemme 4.1 que de nouveau, on a [X] ■ [Y] ■ (cri,...,i + (Jn-d) = .

Notre but est d'étendre le résultat de Hansen en tenant compte des propriétés
numériques de la sous- variété /(X) de G{d, P") x G{d, P"') .

6. Un théorème de Bertini

Il faut être prudent en ce qui concerne les théorèmes du type Bertini dans les
grassmanniennes : dans (5.2), l'intersection X fl "^Y est non connexe pour 7 général dans
PGL(n + 1, A;) , bien que dim(X) -f- dim(Y) > dimG(d, P"") . Dans [K], Kleiman construit,
lorsque k est de caractéristique non nulle, un exemple de surface dans G(1,P^) dont
l'intersection avec la variété de Schubert G(1,H) , où H est un hyperplan général de P^ ,
est non réduite.

Le théorème suivant est notre résultat clé. Pour tout p G P"^ , on note Ep la variété
{z G G(l, P"^) \ p E Az} ■ Le plongement de Pliicker induit un isomorphisme de Sp sur un
espace projectif de dimension n — 1 .

Théorème 6.1.- Soient X une variété irréductible, / : X — > G(l, P") un morphisme
dominant et p un point général de P"' .

a) f~^{'Ep) est irréductible;

b) (k = C) si X. est localement irréductible, 7ri(/~^(Ep)) — » 7ri(X) .

Lorsque X est complète, le théorème de Hansen entraîne que f~^{T,p) est connexe
pour tout p ; il n'est pas difficile d'en déduire a) dans ce cas. On notera que l'hypothèse que
/ est dominant est indispensable : si l'on prend d = n — 2 dans l'exemple (5.1) et que l'on
dualise, l'image de / est un diviseur, mais /~^(Ep) a deux composantes connexes pour p
général.

Démonstration du théorème. A ma grande surprise, je n'ai pas réussi à donner une
démonstration de ce résultat basée sur le théorème de Bertini usuel. Je vais donner

12

deux démonstrations : l'une sera valable en toute caractéristique et démontrera a), l'autre
supposera A; = C et démontrera a) et b). Posons G = G(l, P"') .

Supposons donc tout d'abord k de caractéristique quelconque. La démonstration suit
celle du th. 6.3 de [J]. On rappelle qu'une extension de corps K C K' est dite primaire si
la fermeture algébrique de K dans K' est radicielle. Prenons des coordonnées homogènes
(xq, . . . ,Xn) dans P"^ et notons A le sous-espace linéaire défini par xq = xi = . L'ouvert

G° = {weG|A„nA = 0}

de G est affine; on peut le paramétrer en associant à (02, . . . , an, 61, ... , bn) G /c^"^"^ la
droite joignant les points (1, 0, a2, . . . , a^) et (0, 1, 62, ... , bn) ■ Considérons la correspon-
dance d'incidence 1= {{p,u) e A'^'^^ x G° | m G Sj^j} ; la condition u E est équivalente
à p e A„ , de sorte que I est définie par les équations Pi = Poai + pibi , i = 2, . . . ,n . En
particulier, l'application

(PO,Pl, «2, . . . , On, 62, • • • , bn) ^ (po, Pl , ^0^2 + Pl&2, • • • jPG^n +Pl&n, 02, . . . , 62, . . .)

définit un isomorphisme de G° -schémas entre x G° et I .

Pour montrer le théorème, on peut remplacer G par G'^ . On note Z = X Xqo I ; le
morphisme Z ^ X est un fibré vectoriel trivial de rang 2 . En particulier, Z est intègre.
Il s'agit de montrer que les fibres du morphisme /i : Z — > I A"^^ sont presque toutes
irréductibles. Le premier pas de l'argument est classique : la fibre générique F de h est
intègre, et il suffit de montrer qu'elle est géométriquement irréductible ([J], 4.10) ; pour cela,
montrons que le corps des fractions K(Z) est extension primaire de K = /c(po, • • • ,Pn) ([J],
4.3). Par hypothèse, le morphisme Z — > I est dominant; on a une suite d'extensions

k{po,pi) C k{po,...,pn) C k{po,...,pn,a2,...,an) C k{po,pi,a2,...,b2,...)
Ko C K C L C K(I) C K(Z) ,

où K(Z) est une extension pure de K(X) de base {po,pi) , et , bi E K(X) .

Notant K la fermeture séparable de K dans K(Z) , il s'agit de montrer que K = K .
Soit L la fermeture séparable de L dans K(Z) , on a K C L et K (resp. L ) est de type fini
algébrique, donc fini sur K (resp. L ). Pour tout c G /c , on définit un K(X)-automorphisme
ac de K(Z) par les relations a^Po) = Po + c et (JciPi) = Pi ■ On a a^Pi) = Pi + cai
pour i = 2, . . . , n , de sorte que crc(L) C L et crc(L) C L . Le corps = L(a"cK) est une
extension séparable finie de L , contenue dans L ; comme L est séparable fini sur L , et
que k est infini, il existe c' tels que M = Me = Me' . On pose 9i = adpi) — Pi + cai
et $1 = CTe' (pi) =Pi + c'ai , pour z = 2, . . . , n , de sorte que L = Ko(^2, • • • , ^n, ^2; • • • > ^n) •

13

Soit ^ un élément primitif de l'extension K de K ; posons a = a^^) et a' = (Tc'iO ; ^e
sorte que M = L(a) = L(a') .

Puisque X est géométriquement irréductible, l'extension k C K(X) est primaire;
par [J], 3.13.3, il en est de même de l'extension Kq C K(Z) , et a fortiori de l'extension
Ko (zKo{a,$2, ... ,9n) = o-cK . Puisque le morphisme I — > A^" défini par
(p, u) I— > (po, . . . ,Pn,a2, . . . ,an) est dominant, le degré de transcendance de L (donc aussi
celui de L(a) ) sur Kq vaut 2n — 2 ; comme celui de UcK est n — 1 , la famille {^2; • • • ) ^n)
est algébriquement indépendante sur ctcK . Par loc.cit, l'extension Ko(^2) • • • ; ^n) C L(a) = M
est primaire. Mais a' = (Jc'iO appartient à M et est algébrique séparablc sur
Kq{6'2, . . . , 9'^) = ac'K . Par suite, a' = o-c'{^) est dans (Tc'K , de sorte que ^ est dans K .
On a donc K = K , d'où le théorème.

Supposons maintenant k = C ; on suit la démonstration du th. 1.1 de [FLl]. Par
« droite contenue dans G », on entend toute sous- variété de G du type

£p,P = {xeG(l,P")|j9eA,cP},

où p est un point d'un 2 -plan P contenu dans P"^ (ce sont en fait toutes les droites
contenues dans l'image du plongement de Plùcker de G ) . Elles sont paramétrées par une
variété de drapeaux £ irréductible lisse de dimension 3n — 4 .

Comme dans la démonstration du Icmme 1.4 de [De], quitte à rétrécir X, on peut
supposer que / fait de X un espace fibré topologiquement localement trivial au-dessus
de /(X) , et que ce dernier est le complémentaire G^ d'une hypersurface B de G . Soient
uq un point général de G^ et jCq la sous- variété de C formée des droites contenues dans
G et passant par uq . Le sous-ensemble de Cq qui consiste en les droites transverses à B
contient un ouvert de Zariski dense Cl ([K]). Considérons la correspondance d'incidence
J = {(u, i) eG^ X Lolu ei} , et posons Z = X Xqi J = {(x, G X x £0 | fix) e i} .

L'image de la première projection J — > G^ est pri(J) = {u G G^ | A„ fl A„q ^ 0} , et
réalise J comme l'éclatement de uq dans pri{J) . On en déduit que la première projection
Z — > X réalise Z comme l'éclatement de f~^{uo) dans Xq = {x G X | A.f(x) H ^} ■

Posons T = {(x,p) G X X P"" | p G Aj-^^,)} ; la première projection pri : T ^ X est
un P^ -fibré, de sorte que T est irréductible. La seconde projection pr2 '■ T P" est
dominante puisque / l'est ; puisque uq est général, le théorème de Bertini usuel entraîne que
pr2^{A.uo) est irréductible, donc aussi Xq = pri (pr^^(Ay,J) . Par suite, Z est irréductible.

La seconde projection Z ^ J est un revêtement topologique; il en est de même de la
projection J £9 au-dessus de l'ouvert £q (ses fibres sont des sphères privées de deg(B)
points), donc aussi de la composée h : Z ^ Cq au-dessus de Cq . Or /i~^(£q) , ouvert dans
Z, est irréductible, et h admet comme section £ 1— > {xo,£) , pour tout point fixé xq de
f~^{uo) . Comme les fibres d'une fibration localement triviale entre espaces connexes, qui
admet une section, sont toutes connexes, on en déduit que pour tout £ e Cq , f~^{^) est
connexe. Pour tout Sj, contenant une droite transverse à B, f~^{Tip) est connexe; étant

14

lisse, il est irréductible, ce qui démontre a). Pour démontrer b), il suffit d'appliquer a) à la
composée / o tt , où tt : X — > X est le revêtement universel de X . ■

On en déduit un théorème de Bertini pour les grassmanniennes.

Théorème 6.2.- Soient X une variété irréductible, f : X ^ G((i, P"") un morphisme, et
l un entier tel que d < l < n . On suppose que pour MgG(/ — 1,P"') général, /(X)
rencontre G(d, M) . Pour L G G(/, P") général,

a) /~^(G((i,L)) est irréductible ;

b) (k = C) si X. est localement irréductible, tti (/~^ (G((i, L)) ) — » 7ri(X) .

Le théorème de Bertini usuel correspond au cas d = .

Démonstration. Il suffit de traiter le cas où L est un hyperplan de P" , où l'on a
d <n — 2 . Posons

Z^{{x,u)eXxG{n- 2,P") | Ay(^) C A„ } .

La première projection p : Z — > X est un fibré en grassmanniennes, de sorte que Z
est irréductible, et localement irréductible si X l'est. Dans le cadre topologique, on a aussi
7ri(Z) — » 7ri(X) . La seconde projection g : Z — G(n — 2, P") est dominante par hypothèse,
et, pour tout hyperplan L de P" , on a (G(n — 2, L)) ) = (G((i, L)) . On est

donc ramené au cas d = n — 2 . En dualisant, on obtient un morphisme / : X — G(l, P"^)
dominant, auquel il suffit d'appliquer le théorème 6.1. ■

Avec des hypothèses de propreté, on passe alors comme d'habitude à des énoncés de
connexité.

Théorème 6.3.- 5'oze?7.^ X une variété irréductible, / : X ^ G((i, P") un morphisme, l un
entier tel que d < l < n , et L un sous-espace linéaire de P" de dimension l . On suppose
que pour M G G(/ — 1, P"") général, f{X) rencontre G{d, M) .

a) Si f est propre au-dessus d'un ouvert V de G{d,P^) et que G((i, L) est contenu
dans V, alors /~^(G((i,L)) est connexe;

b) {k = C) si X est localement irréductible, pour tout voisinage ouvert U de G((i, L)
dans G(d,P") , on a TTi{f-^{\])) 7ri(X) .

Démonstration. On suit [FLl], th. 2.1 ; posons Z = {{x^u) G X x G(ci, L) | Aj-(2.) C A„} .
La première projection réalise Z comme un fibré en grassmanniennes au-dessus de X , de
sorte que Z est irréductible. La projection ç : Z — > G(ci, L) est propre, donc admet une

factorisation de Stein Z G' G(ci, L) , où p est fini et où les fibres de q' sont connexes.
Par th. 6.2, p est birationnel surjectif; comme G(ci, L) est normal, p est bijectif, de sorte
que les fibres de q sont connexes, ce qui montre a).

Tout voisinage ouvert U de G((i, L) contient des G((i, L') auxquels on peut appliquer
le th. 6.2.b), d'où b). ■

15

Remarque 6.4.- On aura besoin de la version plus fine de b) suivante : pour tout
X e /"-"^ (G((i, L)) , l'homomorphisme tti (/~-^(U), a;) ^7ri(X, a;) est surjectif. Cela se dé-
montre comme dans [FLl], remark 2.2.

7. Théorèmes de connexité

On note A la diagonale de G{d, P'') x G{d, P"") et, pour tout 7 e PGL(n + l,k) ,
■^A l'image de A par l'automorphisme {x,y) ^ ix,'yy) de G(ci, P") x G{d,P'^) .

Théorème 7.1.- Soient X une variété irréductible et / : X G((i, P"^) x G(d, P"") un
morphisme. On suppose qu'il existe des partitions X et n vérifiant X < ft ou X* < p,* ,
telles que [/(X)] ■ pl^-^ ■ p^a^i ^ .

a) Pour 7 général dans PGL(n + l,/c), /"^("A) est irréductible ;

b) si X est complète, f~^{A) est connexe;

c) {k = C) si X est localement irréductible et complète, 7ri(/~^(A)) — » 7ri(X) .

Remarques 7.2.- 1) La condition X < ft équivaut aux inégalités + Hd-i < n — d pour tout
i = 0, . . . , (i . La condition A* < ft* équivaut aux relations A^ = /x^ = et A^ + n^-i-i < n — d
pour tout i = 0, . . . , d — 1 .

2) Le théorème entraîne le résultat de Hansen [cf. §5); en effet, supposons
codim /(X) K n et soient A et deux partitions vérifiant [/(X)] ' PiO'^ 'P2^ïi

7^ et

|A| + = codim /(X) .Si Aq, > /Ïq, , on a

|A| + |//| > (a + l)Aa + {d+1- a){n- d- Xa)
= Xa{2a -d) + {d+l- a){n - d) .

Quitte à échanger A et fx , on peut supposer a < d/2 . Si Xa < n — d , on a,

n > codim /(X) = |A| + > {n - d - l){2a - d) + {d + 1 - a){n - d)

= (n — d){a + 1) — 2a + d — n + {n — d — 2)a ,

de sorte que n — d < 1 , Aq, = et fid-a = n — d .

On a donc dans tous les cas Xq = n — d ou fxo = n — d . Si l'inégalité A* < p,* est
aussi violée, on obtient de même Aq = cZ + 1 ou /Iq = d+1 , d'où la contradiction

I A| + >n-d+(d+l)-l = n.

Démonstration du théorème. On utilise de nouveau l'astuce de Deligne pour se ramener
au théorème de Bertini 6.2. On considère des coordonnées homogènes [a;*^^'', a;*^^-*] sur
p2n+i ^ où x^^'' et x^'^^ sont des (n+l)-uplets d'éléments de k. Soit 7 un élément de
GL(n+l,A;) et 7 son image dans PGL(n+l,fc) ; on note Li (resp. L2 ) (resp. ^L )
le sous-espace linéaire de dimension n de P^"'+^ défini par a;^-*^) = (resp. x^'^^ = )

16

(resp. a;(i) = 7(a;(2))). Soit V l'ouvert G(cZ, P^"+^) -Sl^ -Sl^ ; pour z = l, 2, soient
Pi : p2"+i-L^ ^ le morphisme [x^^\x^'^^] ^ [x^^] et ipi'.Y ^ G(d,P") le morphisme
induit. Le morphisme <^ = (<^i, (^2) : V ^ G(ci, P") x G(cZ, P") est un
GL((i + 1, A;)-fibré, et induit un isomorphisme de G((i, ^L) sur '^'A . Si on note
X' = X XG(d,P«)xG(d,P") V et /' : X' ^ V la projection, on a /'-i(G(d,U)) ~ r\^l^) ■

Soit M un sous-espace linéaire de p^"'+^ général de dimension n — 1 , de sorte
que, pour i = 1 , 2 , l'espace M fl Lj est vide et que pi induit un isomorphisme de M
sur un hyperplan Hj de P" . On note 7^ : G((i, M) — > G((i, Hj) l'isomorphisme induit. Le
morphisme (f induit un isomorphisme de G{d,M) sur

^^M = { K72(7r'(«)) I u e G(d,Hi) }

et /'-i(G(d,M)) ^ /"Hî^m) ■ La décomposition de Kûnneth de A*(G(d,P") x G(d, P"))
([FMSS]) permet de déterminer la classe de la sous- variété Qm elle vaut

la somme portant sur toutes les partitions a et j3 telles que ai -\- Pd-i = n — d + 1 pour
tout i = 0, . . . ,d .

Quitte à dualiser, il existe par hypothèse des partitions X et p telles que X < p ,
vérifiant [/(X)] ■ ■ ^20"^ 7^ . Définissons une partition A' par X'i — pi — 1 ; on a
A' > A , et le lemme 4.1 entraîne [/(X)] ■ pla^, ■ P2<^fi 7^ . Comme le produit p\(Jx' ■ P2^p.
intervient dans l'expression de [0,m] donnée ci-dessus, on obtient [/(X)] • [Qm] 7^ . On a
donc [/'(X')] • [G(ci, M)] ^ , d'où a) (th. 6.2). Lorsque X est complète, /' est propre; on
en déduit b) (th. 6.3).

Le point c) se déduit du th. 6.3.b) et de la remarque 6.4, comme dans [FLl], p. 40. ■

On peut dérouler les corollaires habituels.

Corollaire 7.3.- Soient X et Y des variétés irréductibles et /:X^G(d, P"^) et
g :Y ^ G{d, P") des morphismes. On suppose que [/(X)] • [â'(Y)] • (cri,...,i -|- an-d) 7^ .

a) Pour 7 général dans PGL(n + l,k) , X ^G{d,'P^) est irréductible ;

b) si X. et Y sont complètes, Xxg((^ pk) Y est connexe;

c) (k = C) si X. et Y sont localement irréductibles et complètes,
7ri(X XG(d,P") Y) ^ 7ri(X X Y) .

Démonstration. Il suffit de remarquer que pour que [/(X)] ■ [(/(Y)] ■ cri 1 soit non
nul, il faut et il suffit qu'il existe des partitions X et p vérifiant X < p , telles que
[f{X)]x 7^ et [g{Y)]fj_ ^ (lemme 4.1). On applique ensuite le théorème 7.1 au morphisme
(/,^):XxY^G(d,P")xG(d,P^). .

17

Lorsque k = C , que X et Y sont complètes, que / est surjective et que g est
non constante, on peut montrer en utilisant [PS], prop. 1, que les conclusions du théorème
subsistent, bien que l'hypothèse [^(Y)] • (cri,...,i + cr„_d) 7^ ne soit pas toujours vérifiée.

Corollaire 7.4.- Soit X une sous-variété irréductible de G{d, P") telle que
[X]-[X]-K...,i + an_d)7^0.

a) Trf ^(X) = ;

b) (k = C) X est simplement connexe.

Rappelons (§ 2) qu'une sous- variété Z de G((i, est encomèranie si elle rencontre
toute sous- variété de G{d, P"') de dimension > codim(Z) . De façon équivalente, on demande
que pour toute partition A telle que |A| = codim(Z) , on ait [Z]a 7^ .

Soit Q le fibré quotient universel sur G((i, P"^) ; il découle de [FL2] que toute une
sous- variété Z de G{d, P"') telle que la restriction de Q à Z soit ample, est encombrante
(ainsi par conséquent que toute sous- variété de Z ). C'est le cas par exemple pour l'image Z
de l'application de Gauss d'une sous- variété lisse d'une variété abélienne simple {cf. [D2]). En
considérant des intersections complètes de codimension 2 dans une variété abélienne simple
de dimension n + 1 , on obtient des exemples de sous- variétés encombrantes de dimension
n — 1 dans G(1,P"') dont le groupe fondamental est isomorphe à Z^""*"^ .

Corollaire 7.5.- Soient X une variété irréductible complète et / : X ^ G{d, P^) un mor-
phisme dont l'image est une sous-variété encombrante. Pour toute sous-variété irréductible
Z de G((i, P") de dimension > codim f (X.) -\- d , telle que [Z] • (Ji^...^i 7^ , /~^(Z) est
connexe.

La conclusion du corollaire subsiste lorsque dim(Z) > codim/(X) -|- n — cZ — 1 et
[Z] • an-d 7^ : il suffit de dualiser (c/. aussi cor. 8.3). D'autre part, rappelons que si l'on
prend d = n — 2 dans l'exemple (5.1), on obtient un morphisme / : X ^ G(l, P"^) dont
l'image est un diviseur (ample, donc encombrant), tel que /~^(Si^i) ait deux composantes
connexes.

Démonstration de la proposition. Il existe une partition A avec Xq < n — d et
[/(X)]a 7^ . Si on pose //j = Âj — 1 , on a X < p, et \iJ,\ = \X\ — d > codim(Z) . Il existe
une partition /x' telle que ^J^' < fJ^ et l/i'l = codim(Z) ; comme Z est encombrante, on a
[Z]^ 7^ , puis [Z]^/ 7^ (lemme 4.1), et la proposition résulte du cor. 7.3. ■

8. Images inverses des variétés de Schubert

Soit jj, — {no, . . . , Hd) une partition; on pose J(//) = {j E {0, . . . , d} \ Hj > /Xj+i} . Si

lid < n — d , on définit pour tout j G J(/i) une partition /x*^-') de la façon suivante : si

(7) (?)
/Xj < n — d , on pose nf = Hj -\- 1 pour i < j , et jif — jii pour i > j ; si iJ,j — n — d , on

pose /xp^ = n — d pour z < j + 1 , et = jii pour i> j .

18

Théorème 8.1.- Soient X une variété irréductible, / : G((i, P") un morphisme, et
El une variété de Schubert de dimension > et de classe . On suppose que pour tout
j , on a [/(X)] • a^u) ^ .

a) Si L est général, f~^(T,i,) est irréductible ;

b) si X est complète, /"""^(El) est connexe;

c) {k = C) si X. est localement irréductible et complète, tti (/"-"^(El)) '^lOQ ■

Exemples 8.2.- 1) Prenons par exemple jj. = (5, 2, 2, 1) ; lorsque n — cZ > 5 , on demande que
le produit de [/(X)] avec chacune des classes de Schubert de type (2,2,2,2), (3,3,3,1) et
(6, 2, 2, 1) soit non nul (pour n — d = 5 , changer la dernière en (5, 5, 2, 1) ). Ce théorème est
donc en général meilleur que le th. 7.1. On notera que les hypothèses du théorème ne sont
pas invariantes par dualité : sur l'exemple, la condition duale est, pour > 4 , que le produit
de [/(X)] avec chacune des classes de Schubert de type (5,5), (5,2,2,2) et (5,2,2,1,1)
soit non nul (lorsque d — 3 , supprimer la dernière) .

2) Lorsque n — d > fiQ > ■ ■ ■ > fir > A*r+i = , la condition requise est que l'intersec-
tion de [/(X)] avec chacune des classes de Schubert de type {pi + 1, . . . , + 1, ^i+i, . . . , fir)
soit non nulle ( z = 0, . . . , r ) ; il suffit pour cela que l'intersection de [/(X)] avec chacune
des classes de Schubert qui apparaissent dans ■ ai soit non nulle. En particulier, pour
une variété de Schubert spéciale de classe

c^m 5 OU obtient la condition [/(X)] ■ (T^_|_]^
La condition duale est [/(X)] ■ am,m • Plus généralement, pour une variété de Schubert
de classe crm,...,m , les deux conditions peuvent se regrouper en

r fois r+l fois

Lorsque m = r = 1 , on obtient [/(X)] • (a2 + cri^i) = [/(X)] ■ ^ , c'est-à-dire
simplement dim/(X) > 2 , l'hypothèse du théorème de Bertini usuel.

Démonstration du théorème. Notons la variété F des drapeaux (Aq C ■ ■ ■ C C P") ,

où Aj a dimension i , et pi la surjection F G(z,P"^) . Soient J un sous-ensemble de
{0, . . . , d} et {M^^^jj^j une famille croissante de sous-espaces linéaires de P" . On a

Pd(nP7'(G(i,M(^)))) ={«eG(d,P")|dim(A„nM(^))>j pour tout jeJ}.

Si la fonction j i-^ dim(M'^'^^) — j est croissante et à valeurs dans {0, . . . ,n — d} ,
cette sous-variété de G{d, P"') est la variété de Schubert associée à tout drapeau
(N(o) c • • • c N^'^)) où N(*) = M(*) si z e J , où N(*) est un hyperplan quelconque de
]v^(i-l-i) i ^ J et où N^*^) = P"' si d ^ J . La partition correspondante A est définie par
Xi = n — d + j — dim(M(^^) , où j est le plus petit élément de J supérieur à i .

Notons (L(°) c • • • c L^'') c P") le drapeau L ; la variété de Schubert El peut
se définir par les inégalités dim(A„ n L^-')) >j en se restreignant aux j dans J(//) . En

19

particulier,

La variété X' = X XG((i pn) F est irréductible puisque X l'est; notons /' la projec-
tion X' ^ F . Pour z > , notons X^ la sous- variété f] {pjf')-^{G{j,L^^^)) de X' ,

ieJ(M):i>i

de sorte que X^_|_j^ = X' , et que l'image de Xq par la projection X' — > X est /~^(El) .

Supposons L général et montrons par récurrence descendante sur i que X^ est
irréductible, ce qui prouvera a) . Supposons X^ irréductible pour tout i > j et montrons
que X^- l'est aussi. Vue la définition de X^- , il suffit de traiter le cas où j G J(//) .

Supposons d'abord que j ne soit pas le plus grand élément de , et soit j' le
plus petit élément de strictement supérieur à j . Le morphisme pjf se restreint en

un morphisme fj : X^-, ^ G{j,L'-^'^) et X^- = /^"^ ( G(j, L^^))) . Le th. 6.2 montre que X^-
est irréductible sous les hypothèses suivantes : d'une part dim(L*^-^'') > j , ce qui équivaut à
/Uj <n — d, d'autre part /'(X') rencontre pj^ (^G{j,M^^^)') , où M*^-'^ est un sous-espace
linéaire de L*^-' ^ général de dimension dim(L*^-'^) — 1 . Cette dernière condition équivaut à

/(x)nprf(p7^(G(j,M(^))n fl p-\G{k,L^'^^))) ^0,

soit encore, d'après la discussion précédente, à l'hypothèse [/(X)] • (T^(j) ^ .

Lorsque fij = n — d , on considère l'application fj/ :X'j, —>■ G{j' ,L^^'^) ; la variété
X^- n'est autre que l'image inverse de f^LO) = {tt G G(j', L*^-^ ^) \ D Li^^^ } par fj' .
La version duale du th. 6.2 entraîne que pour que X^- soit irréductible, il suffit que
dim(L*^'^'') < j' et que /j7^(fiM(j)) soit non vide pour tout sous-espace linéaire M'^-'^ de
L*^-^ ) de dimension dim(L'^'^'') + 1 . De nouveau, la discussion précédente montre que cette
condition est équivalente à l'hypothèse [/(X)] ■ cr^(j) .

La démonstration du pas de récurrence lorsque j est le plus grand élément de J(/i)
est identique : il suffit de remplacer X^-, par X' et L'^-' ^ par , puis /(j/) par pd et j'
par d. Ceci termine la démonstration de a).

Lorsque = C et que X est localement irréductible, ce qui précède montre aussi
que 7ri(/~^(SL)) — » 7ri(X) (toujours pour L général). On en déduit c) comme dans [FLl]
rem. 2.2 et cor. 3.3.

Montrons b). Soit F' la variété de drapeaux contenant le drapeau L ; posons
Z = { (x, L') e X X F' I dim(A/(^) n L'(^)) > i pour tout i = 0,...,d} .

La première projection réalise Z comme un fibré au-dessus de X , dont les fibres
sont des variétés de Schubert (donc irréductibles par [Fu], ex. 14.7.16) de même type dans
la variété de drapeaux F' , de sorte que Z est irréductible. Supposons X complète ; la
projection ç : Z — > F' est propre, donc admet une factorisation de Stein Z F" F' , où
p est fini et où les fibres de q' sont connexes. Par a), p est birationnel surjectif; comme F'
est normal, p est bijectif, de sorte que les fibres de q sont connexes, ce qui montre b). ■

20

Pour toute partition fi et tout j G J(yLt) , on définit un entier S{j) par :
si fij <n-d S{j) = Ifi^^^ I - - 1 = ^{fij - fii + l)

i<j

si fjLj — n — d ô{j) — n — d — 1 — fij+i ,

et on pose — ^^gj^^) niax(5(j), O) ; c'est un élément de {0, . . . , max((i, n — d — 1)} ,
qui peut prendre toutes les valeurs dans cet ensemble. Lorsque /iq < n — d et que la partition
fj, est strictement décroissante, = ; lorsque /j, est constante, = 5{iJ,*) = d ;

lorsque = (n — d,0, . . .) , S{ii) = S{ii*) = n — d — 1 .

Corollaire 8.3.- Soient X une variété irréductible complète et / : X ^ G((i, P"^) un
morphisme dont l'image est une sous-variété encombrante. Si est une sous-variété de
Schubert de G{d,P"') , de dimension > codim/(X) + , /~^(S^) est connexe.

Le lecteur remarquera que ô{fi) et S{fj,*) peuvent être différents (c'est le cas par
exemple lorsque /i = (3, 3, 1,1)); on aura donc parfois intérêt à dualiscr avant d'appliquer
le corollaire. D'autre part, rappelons que si l'on prend d = n — 2 dans l'exemple (5.1), on
obtient un morphisme / : X ^ G{n — 2, P") dont l'image est un diviseur (ample, donc
encombrant), tel que /~^(Si,i) ait deiix composantes connexes. La borne du corollaire est
donc la meilleure possible.

Nous terminerons avec un énoncé portant sur les images inverses d'intersections de
variétés de Schubert spéciales. Le résultat obtenu est en général meilleur que le théorème
général 7.1.

Théorème 8.4.- Soient X une variété irréductible, / : X — > G{d, F") un morphisme et
Lq, . . . ,Lr des sous-espaces linéaires de F". On note £i = codimUi^^ et on suppose que
^0 > il > • ■ • > ■ Soit s le cardinal de l'ensemble {i \ £i = n — d} . On suppose que
[7(X)] • • ae^+i ■ ae,^, ■ ■ ■ ai^ ^ si s < r et que [/(X)] • <+i ^ si s > .

a) Si Lq, . . . ,Lr sont généraux, /"-"^(Elq fl • • • fl Sl^) est irréductible ;

b) si X est complète, /"-"^(Elq fl ■ ■ ■ fl Sl^) est connexe;

c) (k = C) si X est localement irréductible et complète,
7ri(/-^(SLon---nSLj) ^7ri(X).

Remarques 8.5.- 1) Compte tenu du lemme 4.2, l'hypothèse du théorème est équivalente
à la propriété suivante : il existe une partition A avec [/(X)];^ ^ telle que, pour tout
z = 0, . . . , r , on ait io -\- ■ • ■ -\- ii < Xq -\- • ■ • -\- Xi , avec inégalité stricte pour i > s . Lorsque
s > , il faut ajouter à cela la condition qu'il existe une partition A' avec X'^_g = et

2) Posons c = codim/(X) et supposons c < n — d ; si [/(X)](c) 7^ , l'hypothèse du
théorème est satisfaite dès que dim/(X) > X]i=o (lemme 4.2) ; lorsque s > , il faut aussi

21

supposer dim/(X) > {s + l){n — d) . On généralise ainsi le résultat de [HS], sauf dans le cas
où s > et 5^1=8 <n — d. On notera par ailleurs que la démonstration de loc.cit. de
l'irréductibilité d'une intersection de variétés de Schubert spéciales générales n'est valable
qu'en caractéristique nulle.

Démonstration du théorème. Supposons d'abord s = ; définissons

Z = { {x,Vo,...,Vr) eXx (P^)^+l I Vi e A/(a;) , i = 0,...,r}

et notons p:Z^X et ç:Z— > (p"')'^+i les deux projections. Comme p est un fibré en
produits de grassmanniennes, Z est irréductible; dans le cadre topologique, on a aussi
7ri(Z) 7ri(X) . On a

/-1(Elo n • • • n SlJ = p{q-\Lo X • • • X L,)) .

Soit I une partie de {0, . . . , r} de cardinal s + 1 > 1 ; minorons la dimension de
pig(Z) . L'hypothèse faite entraîne

/-i(SMon---nEMj7^0

pour tous sous-espaces linéaires Mo,...,Ms de P"^ tels que codim(Mj) = codim(Lj) pour
z > et codim(Mo) = codim(Lo) + 1 . On a donc aussi q~^{Mo n • • • fl Mg) ^ et la prop.
3.1 entraîne

s

dimp{o,...,s}g(Z) > ^codim(Mi) .
Puisque ç(Z) est invariant par permutation des facteurs, on obtient

s s

dimpiQ(Z) = dimp{o,...,s}9(Z) > J]codim(Mi) ^ 1 + > '

Le th. 1.3 et le cor. 2.3 permettent de conclure dans ce cas.

Supposons maintenant s > . Pour i = 0, . . . , s — 1 , l'espace Lj est réduit à un
point ; soit L l'espace linéaire engendré par Lq, . . . , Ls-i • Posons

E = n • • • n El,_, = {ue G{d, P") | A„ d L } .

Supposons les L^ généraux; comme [/(X)] ■ o"^^]^ 7^ , le th. 8.1 (qui n'est dans ce cas
que la version duale du th. 6.2) entraîne que X' = /~^(E) est irréductible. Si L^ H L 7^ , on
a El C Elj , de sorte que l'on peut supposer L^ disjoint de L pour i = s, . . . ,r . Soit P^~^
un sous-espace linéaire de P"^ contenant Lg, . . . , L^ et disjoint de L . Il existe un morphisme
/' : X' ^ G{d - e, P"^"^) tel que Af^ç^^:') = Af{x) n P"^"*" , auquel il suffit d'appliquer le cas
déjà traité pour montrer a). On en déduit b) et c) comme d'habitude. ■

22

9. Conclusion

Soient X et Y des variétés irréductibles complètes, et / : X — G((i, P"^) et
(7 : Y — i> G((i, P") des morphismes. Sous quelles hypothèses sur /(X) et g{Y) peut-
on assurer que X XG(d,p") Y est connexe? Je n'ai pas réussi à énoncer une conjecture
qui contienne tous les résultats de cet article. Lorsque / est surjective, il suffit que g
soit non constante; mais en général, même lorsque /(X) est encombrante, la condition
dim/(X) + dim^(Y) > dimG(ci, P"^) ne suffit pas. Qu'en est-il lorsque /(X) et ^(Y) sont
toutes deux encombrantes? Le premier cas non trivial est celui où /(X) est un diviseur et
^(Y) une surface encombrante de G(1,P^) (c'est-à-dire distincte de E2 et de Si^i ).

Références

[Dl] Debarre, O., Théorèmes de connexité et variétés abéliennes, à paraître dans Am. J. of
Math (1995).

[D2] Debarre, G., On Subvarieties of Abelian Varieties, à paraître.

[De] Deligne, P., Le groupe fondamental du complément d'une courbe plane n'ayant que
des points doubles ordinaires est abélien, Séminaire Bourbaki, Exp. n°543, 1979/80,
Springer Lecture Notes 842, 1981, 1-10.

[F] Faltings, G., Formale Géométrie und homogène Ràume, Invent. Math. 64 (1981),

123-165.

[Fu] Fulton, W., Intersection Theory, Springer Verlag, Berlin, 1984.

[FH] Fulton, W., Hansen, J., A connectedness theorem for projective varieties, with appli-
cations to intersections and singularities of mappings, Ann. of Math. 110 (1979),
159-166.

[FLl] Fulton, W., Lazarsfeld, R., Connectivity and its Applications in Algebraic Geometry,
in Algebraic Geometry, Proceedings of the Midwest Algebraic Geometry Gonference,
Ghicago 1980, Springer Lecture Notes 862, 1981, 26-92.

[FL2] Fulton, W., Lazarsfeld, R., Positive polynomials for ample vector bundles, Ann. of
Math. 118 (1983), 35-60.

[FMSS] Fulton, W., Mac Pherson, R., Sottile, F., Sturmfels, B., Intersection theory on
spherical varieties, J. Alg. Geom. 4 (1995), 181-193.

[GL] Gaffney, T., Lazarsfeld, R., On the Ramification of Branched Coverings of P"^ , Invent.
Math. 59 (1980), 53-58.

[GH] Griffiths, P., Harris, J., Principles of Algebraic Geometry, Wiley, New- York, 1978.

[G] Gromov, M., Convex Sets and Kàhler Manifolds, in Advances in Differential Geometry

and Topology, World Scientific Publishing, Teaneck, N.J., 1990.

[Grl] Grothendieck, Eléments de Géométrie Algébrique IV, 2, Publ. Math. I.H.E.S. 24, 1965.

23

[Gr2] Grothendieck, Eléments de Géométrie Algébrique IV, 3, Publ. Math. I.H.E.S. 28, 1966.

[H] Hansen, J., A connectedness theorem for flagmanifolds and Grassmannians, Am. J. Math.
105 (1983), 633-639.

[Ha] Harris, J., Algebraic Geonietry, Springer Verlag, New- York, 1992.

[HS] Hernandez, R., Sols, L, Connectedness of intersections of spécial Schubert varieties,
Manusc. Math. 83 (1994), 215-222.

[Ho] Hovanski, A., Fewnomials and Pfaff manifolds, I.C.M. 1983, Warszawa (1984), 549-565.

[J] Jouanolou, J.-P., Théorèmes de Bertini et applications, Prog. Math. 42, Birkhâuser,
1983.

[K] Kleiman, S., The transversality of a gênerai translate, Comp. Math. 28 (1978), 287-297.
[L] Lazarsfeld, R., Ph.D. thesis, Brown University, June 1980.

[N] Nori, M., Zariski's conjecture and related problems, Ann. Sci. Ecole Norm. Sup. 16
(1983), 305-344.

[PS] Paranjape, K.H., Srinivas, V., Self maps of homogeneous spaces, Inv. Math. 98 (1989),
425-444.

[T] Teissier, B., Bonnesen-type inequalities in algebraic geometry, in Seminar on DifFerential
Geometry, Princeton University Press 102 (1982), 85-105.

24